41. BL,BL
پدیدآورنده : / Marshall G.S. Hodgson. ,20090530 0
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
42. Cold war history
پدیدآورنده : edited by Frédéric Bozo ... [ et al.].
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
43. Computer algebra :
پدیدآورنده : Edmund A. Lamagna.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Algebra-- Data processing.,MATHEMATICS-- Algebra-- General.,MATHEMATICS-- Algebra-- Intermediate.,MATHEMATICS-- Applied.,MATHEMATICS-- Number Systems.
رده :
QA155
.
7
.
E4
L36
2019eb
44. Control engineering /
پدیدآورنده : Laszlo Keviczky, Ruth Bars, Jenő Hetthéssy, Csilla Bányász.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Automatic control.,Control theory.,Computer science.
رده :
TJ213
.
K48
2019
45. CryptoSchool /
پدیدآورنده : by Joachim von zur Gathen
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra,Computer science,Computers,Data structures (Computer science),Electrical engineering,Field theory (Physics),Number theory
رده :
QA76
.
9
.
D35
46. Cybernetics and systems '86 :
پدیدآورنده : organized by the Austrian Society for Cybernetic Studies, held at the University of Vienna, Austria, 1-4 April 1986 ; edited by Robert Trappl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Cybernetics -- Congresses.,System theory -- Congresses.,Systems engineering -- Congresses.
رده :
Q300
.
O743
1986
47. Debugging by thinking :
پدیدآورنده : Robert Charles Metzger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Debugging in computer science.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Debugging in computer science.
رده :
QA76
.
9
.
D43
M48
2004b
48. Encyclopedia of Distance
پدیدآورنده : / by Michel Marie Deza, Elena Deza
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Mathematics,Computer science, Mathematics,Visualization,Geometry,Global differential geometry,Topology,Engineering mathematics,Electronic books
رده :
E-BOOK
49. Extreme Value Theory and Applications
پدیدآورنده : edited by Janos Galambos, James Lechner, Emil Simiu.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Distribution (Probability theory).,Engineering design.,Mathematics.,Mechanics.,Statistics.
50. First course in algorithms through puzzles /
پدیدآورنده : Ryuhei Uehara.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer algorithms.
رده :
QA9
.
58
51. Formal methods :
پدیدآورنده : Tiago Massoni, Mohammad Reza Mousavi (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
F67
52. Formal modeling and analysis of timed systems :
پدیدآورنده : David N. Jansen, Pavithra Prabhakar (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
رده :
QA76
.
9
.
F67
53. Foundations of software science and computation structures :
پدیدآورنده : Christel Baier, Ugo Dal Lago (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
751
.
F67
2018eb
54. Functional Networks with Applications
پدیدآورنده : by Enrique Castillo, Angel Cobo, José Manuel Gutiérrez, Rosa Eva Pruneda.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer-aided design.,Data structures (Computer science).,Physics.
55. Fuzzy Relational Systems
پدیدآورنده : by Radim Bělohlávek.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
56. Genetic Algorithms + Data Structures = Evolution Programs
پدیدآورنده : by Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
رده :
QA76
.
9
.
A43
B993
1994
57. Genetic algorithms + data structures = evolution programs
پدیدآورنده : Zbigniew Michalewicz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer algorithms.,Computer programs.,Data structures (Computer science)
رده :
QA76
.
9
.
A43
Z354
1992
58. Geometric structures of information /
پدیدآورنده : Frank Nielsen, editor.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Data structures (Computer science), Congresses.,Geometrical models in statistics, Congresses.,Geometry, Differential, Congresses.,Information theory in mathematics, Congresses.,Coding theory & cryptology.,Communications engineering-- telecommunications.,Data structures (Computer science),Geometrical models in statistics.,Geometry, Differential.,Information theory in mathematics.,MATHEMATICS-- Applied.,MATHEMATICS-- Geometry-- Differential.,MATHEMATICS-- Probability & Statistics-- General.,Numerical analysis.
رده :
QA276
.
23
G75
2019
59. Granular Computing
پدیدآورنده : by Andrzej Bargiela, Witold Pedrycz.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Data structures (Computer science).,Logic, Symbolic and mathematical.
60. Graph Drawing and Network Visualization :
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Mathematics. ; Data structures (Computer science). ; Software engineering. ; Algorithm Analysis and Problem Complexity. ; -Algorithms. ; Application software. ; Computer graphics. ; Computer science
